Conception de reseaux dynamiques . . .
نویسنده
چکیده
In this paper we study a combinatorial optimization problem arising from on-board networks in satellites. In these kinds of networks the entering signals (inputs) should be routed to amplifiers (outputs). The connections are made via expensive switches with four available links. The paths connecting inputs to outputs should be link-disjoint. More formally, we call a (p, λ, k)−network an undirected graph with p+ λ inputs, p+ k outputs and internal vertices of degree four. A (p, λ, k)−network is valid if it is tolerant to a restricted number of faults in the network, i.e., if, for any choice of at most λ faulty inputs and k faulty outputs, there exist p edge-disjoint paths from the remaining inputs to the remaining outputs. Our optimization problem consists of determiningN(p, λ, k), the minimum number of vertices in a valid (p, λ, k)−network. We present validity certificates and a quasi-partitioning technique from which we derive lower bounds for N(p, λ, k). We also provide constructions, and hence upper bounds, based on expanders. The problem is shown to be sensitive to the order of λ and k. For instance, when λ and k are small compared to p, the question reduces to the avoidance of some forbidden local configurations. For larger values of λ and k, the problem is to find graphs with a good expansion property for small sets. This leads us to introduce a new parameter called α-robustness. We use α-robustness to generalize our constructions to higher order values of k and λ. In many cases, we provide asymptotically tight bounds for N(p, λ, k).
منابع مشابه
La combinaison d'UML avec la méthode formelle CSP-OZ pour le développement d'applications bases des données
Les méthodes utilisées pour la spécification et le développement d’applications de bases de données sont basées soit sur les notations graphiques (appelées méthodes semi-formelles) soit sur des notations mathématiques (appelées méthodes formelles). Les méthodes semi-formelles (E-R, UML, OMT,...) (Jacobson et al., 2005) permettent une représentation intuitive et synthétique du système à étudier....
متن کاملLearning In Networks
Intelligent systems require software incorporating probabilistic reasoning, and often times learning. Networks provide a framework and methodology for creating this kind of software. This paper introduces network models based on chain graphs with deterministic nodes. Chain graphs are defined as a hierarchical combination of Bayesian and Markov networks. To model learning, plates on chain graphs...
متن کاملDes vertus de la schizophrénie pour le prototypage d'applications à composants interopérables
RÉSUMÉ. La schizophrénie dans le domaine des intergiciels vise à résoudre le problème d’interopérabilité entre modèles de répartition, plus connu sous l’acronyme M2M pour « Middleware To Middleware ». Si un intergiciel générique instancie une personnalité pour un modèle, un intergiciel schizophrène instancie simultanément plusieurs personnalités cohabitantes et interagissantes. Cette approche p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008